Information Disclosure in Evolving Information Systems: Taking as Shot at a Moving Target

name Concrete name T Time AMH Amh AME-Evol Ame evolution AME Ame O Object type ℘(O) Types N Non label type L Label type ; Parent ∼ Type related Ω Value HasTypes Instance typing D Domain Dom Domain assignment TI Time interval Holds Holds Change Change . . . . . . E Entity type F Fact type P Predicator . . . . . . Table 1: Names for meta object types If a name n is overloaded (multiply defined by the Lex-function), then the meaning of the name is the sum of all possible interpretations: